axiomatic specification
[计] 公理说明，公理描述
热门查询
- rusk n. 甜面包干；脆饼乾 n. (Rusk)人名；(英)腊斯克；(芬、瑞典)鲁斯克
- unforgettably 令人难忘地 不可磨灭地
- Grand Prix na. 〈外〉头等奖；最高奖 [网络] 大奖赛；格兰披治；霹雳神风
- PASCAL n. 帕斯卡（压力的单位） n. (Pascal)人名；(英、法、西、罗)帕斯卡尔
- jailbreak n. 越狱
- autoclave n. 高压灭菌器；高压锅 vt. 用高压锅烹饪 vi. 用高压锅烹饪
- outplacement n. （被解雇后的）新职介绍
- overslept v. 睡过头（oversleep的过去分词）
- esophagus n. [解剖] 食管；[解剖] 食道
- Bou abbr. Bourges, France 法国; Bank Officers Union 银行职员工会; Boat Operating Unit 舰艇操作装置; broadband office unit 宽带办公设备
- rodent n. [脊椎] 啮齿动物 adj. 啮齿类的；咬的，嚼的；侵蚀性的
- pooped adj. 精疲力竭的
- replete n. [昆] 贮蜜蚁 adj. 充满的；装满的
- accustomed v. 使习惯于（accustom的过去分词） adj. 习惯的；通常的；独有的
- sumpter n. 赶驮马的人；拉货车的马或驴子
- eston n. 碱式醋酸铝
- Moet abbr. managing obstetric emergencies and trauma 管理产科学急症和创伤; monolithic optoelectronic transistor 单片光电子晶体管
- mundanity n. 尘俗
- dilapidated adj. 荒废的，要塌似的；破坏的 v. 变得荒废（dilapidate的过去分词）
- nacreous adj. 真珠质的；有光彩的
